undecidability theorem
[网络] 不可判定性定理；不可决定性定理
热门查询
- conspicuously adv. 显著地，明显地；超群地，惹人注目地
- guiltily adv. 内疚地；有罪地
- minced adj. 切碎的；切成末的 v. 剁碎；细分；委婉地说（mince的过去分词）
- similarly adv. 同样地；类似于
- noxious adj. 有害的；有毒的；败坏道德的；讨厌的
- coastline n. 海岸线
- infestation n. 感染；侵扰
- beaver n. 海狸；海狸皮毛 n. (Beaver)人名；(英)比弗
- unassailable adj. 不容置疑的；无懈可击的
- Guntram n. (Guntram)人名；(德、坦桑、瑞典)贡特拉姆；(英)冈特拉姆
- zoe v. 指控某人逃漏税 abbr. zero energy 零能量; 零功率; 起始能量; zinc oxide-eugenol 氧化锌-丁香粉
- tw abbr. Taiwan 台湾
- tartan n. 格子呢（苏格兰） n. (Tartan)人名；(土)塔尔坦 adj. 格子呢的
- unscreened adj. 未筛过的；未屏蔽的；未经检查过的；未用帘幕遮住的
- tong n. 帮会，堂；钳子 vt. 用钳子钳起 vi. 用钳子钳起 n. (Tong)人名；(英)唐；(柬)东；(中)董(普通话·威妥玛)
- rifle n. 步枪；来复枪 vt. 用步枪射击；抢夺；偷走
- apposition n. 并置，同格；同位语
- zinfandel n. 馨芳葡萄酒
- bullhorn n. 带放大器的扩音器；鸣音器；手提式扩音器
- standardise vt. 使…符合标准；使…标准化；使…统一
考试词汇表
- launching end speed
- launching lubricant
- launching mechanism
- launching operation
- launching stability
- launching workplace
- launder sand slicer
- laundering facility
- laundry soap powder
- laurel (leaves) oil
- laurel ginger slice
- laurel peanut crisp
- laurel seseme crisp
- laurencia nipponica
- laurent's expansion
- lauridromia dehaani
- laurolinium acetate
- lauryl methacrylate
- lauryl sulfoacetate
- laurylamine acetate
